A concretizer serves to break the abstraction of a value.
(315,040) (000,030)concretizer (000,010)(1,0)030040CONCR (1,0)030100compact-primary (1,0)030
The compact-primary must be of some abstract type; the concretizer is then of the type of its realization. It yields the value of its compact-primary and inherits the access attribute of its compact-primary. A concretizer can only be used in an environment where the realization of its abstract type is visible (see 4.2.4).